<form method="get" action="<?php echo $config['url'] ?>">
  <input id="goto_box" type="text" name="show" value="goto" onfocus="this.value=''" />
</form>
<ul>
<li><?php echo getLink('special','revisions','Revisions') ?></li>
<li><?php echo getLink('special','comments','Comments') ?></li>
<li><?php echo getLink('show','_index','Pages') ?></li>
</ul>
<div id="outline">
  <?php showPageOutline("none",2) ?>
</div>